model theory 예문

• ...outstanding work in the minimal model theory for algebraic varieties.
  대수 품종에 대한 최소한의 모델 이론에 ... 뛰어난 작품.
• He worked on model theory, mathematical decision problems and with universal algebra.
  그는 모델 이론에 근무, 수학 결정 문제와 보편 대수학.
• Robinson's contributions to model theory were developed during his time at the University of Toronto.
  모델 이론에 공헌 로빈슨의 토론토 대학에서 자신의 시간 동안 개발되었다.
• These form the basis of model theory as the domain of discourse of predicate logic .
  이들은 술어 논리 의 논의 영역 으로서 모델 이론 의 기초를 형성하고 있다.
• This is ... the first attempt to write a connected exposition of the new subject of model theory.
  이건 ... 첫 번째 시도 모델 이론의 새로운 주제에 연결되어있는 박람회를 작성합니다.
• Malcev's first publications were on logic and model theory and resulted from work he had begun entirely on his own.
  Malcev 최초의 출판물 논리와 모델 이론에 맞고 자기가 전적으로 자신의 직장에서 시작했다 결과.
• He weaved his many contributions and papers into a treatise Introduction to model theory and to the metamathematics of algebra published in 1963.
  그는 많은 기여를 weaved 논문 논문 소개로 대수는 1963 년 출판의 metamathematics하는 이론 모델을합니다.
• After attending a course by Tarski , Lyndon and Tarski became good friends and Lyndon was later to work on model theory as a result of attending these lectures.
  Tarski, 린든와 Tarski에 의해 코스에 참석한 뒤 좋은 친구와 린든 나중에 모델의 이론에 대한 강의를 참석 이러한 결과로 작업되었다.
• In 1946 he was awarded a Master's Degree from the Hebrew University in Jerusalem and, following this, he began research at London University receiving a Ph.D. from London in 1949 for pioneering work in model theory and the metamathematics of algebraic systems.
  1946 년 그는 예루살렘 히브리 대학에서 석사 학위를 수여했다,이 다음, 그는 런던 대학에서 박사 학위를받은 연구를 시작 런던의 1949 년 모델의 이론에서 선구적인 작업을위한 대수적 시스템 metamathematics했다.
• Metamathematics, introduced by Hilbert in 1922 meaning "proof theory" as a part of his programme to establish the consistency of arithmetic, was transformed by Tarski when he introduced semantic methods leading to his development of model theory with its combination of semantic and syntactic relations. Sinaceur writes :
  Metamathematics, 1922 교슈님 의미에서 자신의 프로그램의 일환으로 "증거 이론"을 도입, Tarski에 의해 그 의미 론적 방법은 모델을 할 때 그의 이론의 발전에 선도적인 도입의 조합으로 탈바꿈했다 산술의 일관성을 확립하고 통사론의 관계를 의미합니다.